0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Formal Methods And Theory Of Security" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "formal methods and theory of security" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Andrea Carpignani, Massimo Pappalardo
    Theory and Methods of Optimisation

    UNITEXT /La Matematica per il 3+2

    This book originates from the graduate course Theory and Methods of Optimisation taught at the University of Pisa and is primarily intended for students seeking a rigorous yet accessible introduction to o…

    lieferbar ab 17.10.2025.
    Buch
    Aktueller Preis: EUR 63,99

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

    This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exe…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    Stephan Russenschuck
    Field Simulation for Accelerator Magnets

    "Field Simulation for Accelerator Magnets" is a comprehensive two-volume reference on the electromagnetic design and measurement of accelerator magnets. It covers the design and optimization of …

    sofort lieferbar
    2 Bücher
    Aktueller Preis: EUR 397,80
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.